\documentclass{article}

\usepackage{../../util}

\title{Model Theory and Non-Classical Logic}
\author{Cambridge University Mathematical Tripos: Part III}

\begin{document}
\maketitle

\tableofcontentsnewpage{}

\section{Substructures}
\input{01_substructures.tex}
\section{Quantifier elimination}
\input{02_quantifier_elimination.tex}
\section{Ultraproducts}
\input{03_ultraproducts.tex}
\section{Types}
\input{04_types.tex}
\section{Indiscernibles}
\input{05_indiscernibles.tex}
\section{Intuitionistic logic}
\input{06_intuitionistic_logic.tex}

\end{document}

% examples classes: 02/11, 23/11(! not 16th), 30/11, 25/01, all in MR4 except for the 23/11 one which is in MR9, all 1:30pm - 3:30pm
